Foundations of Probabilistic Logic
نویسندگان
چکیده
We formalize a mathematical approach to probabilistic logic for zero-order logic and derive new inequalities that are necessary and sufficient for consistent probability assignments to propositions. We prove that a complete theory of probabilistic logic requires the a priori assignment of probabilities for a system with k basic propositions. We also show that a proposal due to Cheeseman, namely, to regard measures of confidence in knowledge systems as expectations that are conditioned on unknown distributions, does not work in general. We demonstrate this by showing that several certainty measures proposed for expert systems are not consistent with the derived inequalities for probabilistic logics.
منابع مشابه
A Design Methodology for Reliable MRF-Based Logic Gates
Probabilistic-based methods have been used for designing noise tolerant circuits recently. In these methods, however, there is not any reliability mechanism that is essential for nanometer digital VLSI circuits. In this paper, we propose a novel method for designing reliable probabilistic-based logic gates. The advantage of the proposed method in comparison with previous probabilistic-based met...
متن کاملRepresenting Statistical Information and Degrees of Belief in First-Order Probabilistic Conditional Logic
Employing maximum entropy methods on probabilistic conditional logic has proven to be a useful approach for commonsense reasoning. Yet, the expressive power of this logic and similar formalisms is limited due to their foundations on propositional logic and in the past few years a lot of proposals have been made for probabilistic reasoning in relational settings. Most of these proposals rely on ...
متن کاملSpecial Issue on Knowledge Representation and Machine Learning Five Useful Properties of Probabilistic Knowledge Representations from the Point of View of Intelligent Systems
Although probabilistic knowledge representations and probabilistic reasoning have by now secured their position in artiicial intelligence, it is not uncommon to encounter misunderstanding of their foundations and lack of appreciation for their strengths. This paper describes ve properties of probabilistic knowledge representations that are particularly useful in intelligent systems research. (1...
متن کاملRelationships Between Probabilistic Description and First-Order Logics
This paper analyzes the probabilistic description logic P-SHIQ as a fragment of first-order probabilistic logic (FOPL). P-SHIQ was suggested as a language that is capable of representing and reasoning about different kinds of uncertainty in ontologies, namely generic probabilistic relationships between concepts and probabilistic facts about individuals. However, some semantic properties of P-SH...
متن کاملFive Useful Properties of Probabilistic Knowledge Representations From the Point of View of Intelligent Systems
Abst ract Although probabilistic knowledge representations and probabilistic reasoning have by now secured their position in artiicial intelligence, it is not uncommon to encounter misunderstanding of their foundations and lack of appreciation for their strengths. This paper describes ve properties of probabilistic knowledge representations that are particularly useful in intelligent systems re...
متن کامل